Operating system kernels

Results: 132



#Item
51Computing platforms / Monolithic kernels / Operating system kernels / MINIX 3 / Kernel / Operating system / Linux kernel / Mach / Loadable kernel module / Computer architecture / Computing / System software

A Lightweight Method for Building Reliable Operating Systems Despite Unreliable Device Drivers Technical Report IR-CS-018, January 2006 Jorrit N. Herder Herbert Bos

Add to Reading List

Source URL: www.minix3.org

Language: English - Date: 2012-03-07 05:50:27
52Computing / Veriexec / Berkeley Software Distribution / Systrace / Software / Comparison of BSD operating systems / Comparison of operating system kernels / Embedded operating systems / NetBSD / System software

NetBSD — Introducing NetBSD — What is the NetBSD Project? The NetBSD Project gives you a complete Unix-like operating system that is up to today’s Open Source and security standards, supporting industry-standard AP

Add to Reading List

Source URL: netbsd.org

Language: English - Date: 2007-04-07 11:30:10
53EROS / Operating system kernels / Monolithic kernels / Microkernel / Kernel / Capability-based security / Object-capability model / Coyotos / Linux kernel / Computer architecture / Computer security / Real-time operating systems

The EROS System Structure† Working Draft, Currently In Progress Jonathan S. Shapiro, Ph.D. Systems Research Laboratory Dept. of Computer Science

Add to Reading List

Source URL: www.coyotos.org

Language: English - Date: 2014-08-13 02:11:22
54Computing platforms / Monolithic kernels / Microkernel / Kernel / Architecture of Windows NT / Device driver / Operating system / Ring / Memory-mapped I/O / Computer architecture / Computing / System software

An I/O Architecture for Microkernel-Based Operating Systems Hermann H¨artig Jork L¨oser Martin Pohlack Frank Mehnert Lars Reuther Alexander Warg

Add to Reading List

Source URL: os.inf.tu-dresden.de

Language: English - Date: 2003-08-13 07:25:54
55Monolithic kernels / Architecture of Windows NT / Windows NT architecture / Kernel / System call / Operating system / Thread / Linux kernel / Ring / Computer architecture / Computing / Software

Technical Report UCAM-CL-TR-859 ISSN[removed]Number 859

Add to Reading List

Source URL: www.cl.cam.ac.uk

Language: English - Date: 2014-09-16 09:35:43
56Concurrent computing / Concurrency control / Kernel / Process / Hang / Lock / Operating system kernels / System Idle Process / Process Contention Scope / Computing / Threads / Computer architecture

PDF Document

Add to Reading List

Source URL: maxdb.sap.com

Language: English - Date: 2014-09-11 07:40:59
57Goddard Space Flight Center / Planetary Data System / Wget / Kernel / Monolithic kernels / FileZilla / Linux kernel / File Transfer Protocol / Operating system / Software / Computing / Portable software

N IF Navigation and Ancillary Information Facility Obtaining SPICE Components Offered by NAIF and Horizons Emphasis on Kernels

Add to Reading List

Source URL: naif.jpl.nasa.gov

Language: English - Date: 2015-02-12 19:43:30
58Computer file formats / Linux kernel / Monolithic kernels / FreeBSD / Loadable kernel module / Kernel / Planetary Data System / Operating system / SPICE / Software / Computing / Computer architecture

N IF Navigation and Ancillary Information Facility SPICE Conventions A summary of standards, lingo and common usage within SPICE

Add to Reading List

Source URL: naif.jpl.nasa.gov

Language: English - Date: 2015-02-12 19:43:30
59Linux / Linux kernel / Kernel / Serial Peripheral Interface Bus / Ephemeris time / Operating system / System software / Software / Time scales / Computer architecture

N IF Navigation and Ancillary Information Facility Leapseconds and Spacecraft Clock Kernels LSK and SCLK

Add to Reading List

Source URL: naif.jpl.nasa.gov

Language: English - Date: 2015-02-12 19:43:30
60Operating system kernels / Kernel / Monolithic kernels / Microkernel / L4 microkernel family / Thread / Ring / Operating system / System call / Computer architecture / System software / Computing

Trends in Operating System Design: Towards a Customisable Persistent Micro-Kernel David Hulse and Alan Dearle Department of Computing Science and Mathematics University of Stirling Stirling, FK9 4LA, Scotland

Add to Reading List

Source URL: www.osdever.net.

Language: English - Date: 2012-05-30 02:15:54
UPDATE